Nucleophilic substitutions on 3-chloro-4- fluoronitrobenzene

Nucleophilic substitutions on 3-chloro-4- fluoronitrobenzene 5 with piperazines occur on the fluorine rather than on the chlorine atom as reported, to yield 3-chloro-4-piperazinylnitrobenzenes 8 and 9

Nucleophilic substitutions on 3-chloro-4-fluoronitrobenzene

347-34

Explicit connection actions in multiparty session types

This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

Resistance in sorghum to shoot fly Atherigona soccata: Evidence for the source of leaf surface wetness

Leaf surface wetness (LSW) of the central whorl leaf of sorghum seedlings has been associated with susceptibility to shoot fly. Previous physical and physiological evidence suggested that LSW originates from the plant. This was confirmed by radioactive labelling methods using tritium and carbon-14. Tritiated water applied to the soil of potted seedlings was translocated to the surface of the whorl leaf. There were significant differences in the amount of tritiated water collected from susceptible (CSH 5) and resistant (IS 18551) genotypes. Studies with carbon-14 labelling of sorghum seedlings indicated the presence of (small amounts of) solutes in the surface water that may affect larval movement and survival

Iron making in ancient India - a critical assessment

It is a well known fact, that Indian craftsman produced quality iron products much earlier than the developed countries, making use of local reserves of iron ore. Iron produced in ancient India was mostly wrought iron. The metal was obtained in the form of a pasty mass and then shaped under hammer. Today, when India is producing several million tons of iron, primitive iron making is still exists in some parts of India. The primitive iron making furnaces declined in numbers gradually from about 500 in the beginning of 20'h century to about 150 by the middle of the century. Their present number is not known. Such furnaces are in operation deep into the forests and the tribal areas of India. The paper discusses briefly the history of iron making along with the critical assessment of the ancient processes. Some of the important measures absolutely. essential to upgrade the processes have also been discussed. Several pertinent modifications have been proposed in the design of these furnaces to make them more energy efficient and economically viable 'for tribal and rural populace